CALL FOR PAPERS - MEMOCODE 2013 - EXTENDED DEADLINES


Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
http://www.memocode-conference.com

18-20 October 2013, Portland, Oregon, USA -- Co-located with DIFTS and FMCAD


SCOPE

The eleventh ACM/IEEE MEMOCODE conference focuses on research and 
developments in methods, tools, and architectures for the design of 
hardware/software systems. MEMOCODE seeks submissions that present 
novel formal methods and design techniques to create, refine, and 
verify complex hardware/software systems and to tackle the tight 
constraints on timing, power, costs, reliability and security that 
these systems face. 

We also invite application-oriented papers, and especially encourage 
submissions that highlight the tools and design perspective of formal 
methods and models, including success as well as failure stories,
constructive analysis thereof, and demonstrations of hardware/software 
codesign. 

Techniques may range from formal verification to simulation-based 
verification technologies, and from languages to design paradigms that 
unify hardware and software codesign. Architectures may range from 
cloud computing and multi-core platforms to networks on chip. 
Applications and demonstrators may address values ranging from 
productivity and reuse to performance and quality.

MEMOCODE 2013 is co-located with FMCAD, the thirteenth conference on 
Formal Methods in Computer-Aided Design, and DIFTS, the International 
Workshop on Design and Implementation of Formal Tools and Systems.


PAPER SUBMISSIONS

Paper submissions must be accepted through the EasyChair review system 
on our web site. Papers must be 10 pages or less, and must be formatted 
following IEEE Computer Society guidelines. Submissions must be written 
in English, describe original work, and not substantially overlap 
papers that have been published or are being submitted to a journal or 
another conference with published proceedings.


(NOTE: EXTENDED DATES !!!) 
  Abstract submission deadline: July 17
  Paper submission deadline: July 24
  Notification of acceptance: August 21
  Final version for Papers: September 18


DESIGN CONTEST

MEMOCODE 2013 is proud to organize its traditional Design Contest. 
The conference will sponsor at least one prize with a significant 
monetary award. Each team delivering a complete and working solution 
will be invited to prepare a 2-page abstract to be published in the 
proceedings and to present it during a dedicated poster session at 
the conference. The winning teams may contribute a 4-page short paper 
for presentation in the conference program. Further information 
will be made available on our website.


(NOTE: EXTENDED DATES !!!) 
  Design Contest start: July 1
  Design submission deadline: August 1
  Notification of design results: September 1
  Final version for abstracts: September 18


PUBLICATION

Conference proceedings will be published by the IEEE Computer Society.
Besides conference proceedings, we are planning a special journal issue 
with the very best 2013 papers of MEMOCODE, DIFTS, and FMCAD.


We look forward to your participation!
Marly Roncken, Jean-Pierre Talpin, and Eriko Nurvitadhi
MEMOCODE 2103 Program Chairs and Design Contest Chair